In its comprehensive overview of Alain Locke's pragmatist philosophy this book captures the radical implications of Locke's approach within pragmatism, the critical temper embedded in Locke's works, the central role of power and empowerment of the oppressed and the concept of broad democracy Locke employed.

We identify a species of experiment—Kon-Tiki experiments—used to demonstrate the competence of a cause to produce a certain effect, and we examine their role in the historical sciences. We argue that Kon-Tiki experiments are used to test middle-range theory, to test assumptions within historical narratives, and to open new avenues of inquiry. We show how the results of Kon-Tiki experiments are involved in projective inferences, and we argue that reliance on projective inferences does not provide historical scientists with any special (...) protection against the problem of unconceived alternatives. (shrink)

The recent pop culture iconography of the Critical Race Theory (CRT) label has attracted more devoted (white) fans than a 90s boy band. In philosophy, this trend is evidenced by the growing number of white feminists who extend their work in gender analogically to questions of race and identity. The trend is further evidenced by the unchecked use of the CRT label to describe (1) any work dealing with postcolonial authors like W.E.B. Du Bois and Frantz Fanon or (2) the (...) role postcolonial themes like power, discourse, and the unconscious play in the social constructionist era. While this misnomer may seem practically insignificant, the artifice formerly known as CRT in philosophy—more adequately labeled “critical theories of race”— has been axiomatically driven by the political ideals of integration and by a revisionist commentary that seeks to expand traditional philosophical ideas, such as reason, history, and humanity, which were previously closed off by racial borders, to people of color. This “revision in the name of inclusion,” however, is not without its consequences. In order to incorporate the experiences of those who suffer under the weight of modernity and are marred by the burdens of racism into the narration of Continental and American philosophy, the theoretical perspectives in Critical Race Theory that deny the legitimacy of philosophy’s diversity agenda must necessarily be excluded.In particular, this recent move to recognize the study of race as a category of philosophical relevance has resulted in the outright denial of the nationalist and revolutionary fervor contained in the intellectual history specific to the Critical Race Theory movement started by the works of Derrick Bell.2 Instead, this new movement favors narratives that inculcate the ideals of a post-racial humanity and racial amelioration between compassionate (Black and white) philosophical thinkers dedicated to solving America’s race problem. (shrink)

D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.

Restricted to first-order formulas, the rules of inference in the Curry-Howard type theory are equivalent to those of first-order predicate logic as formalized by Heyting, with one exception: ∃-elimination in the Curry-Howard theory, where ∃x : A.F (x) is understood as disjoint union, are the projections, and these do not preserve firstorderedness. This note shows, however, that the Curry-Howard theory is conservative over Heyting’s system.

In an influential series of papers, Cleland (2001, 2002, 2011) argued that historical natural scientists employ a distinctive methodology—which exploits Lewis (1979)s asymmetry of over determination—that is capable of putting knowledge of the deep past on an epistemic par with experimental knowledge. Currie (2018) clarified the nature of the asymmetry claim and used it to argue for a more restricted form of optimism toward the historical sciences. This optimism is licensed by the evidential redundancy that the asymmetry of over determination (...) guarantees.In this chapter I show that the argument for the asymmetry of over determination is circular and the thesis is false. Over determination toward the past is smuggled in from the start by ruling out of consideration so-called backtracking counterfactuals. By banning backtracking counterfactuals, consideration is restricted to possible worlds in which the over determination thesis holds. But in the actual world, the present is compatible with many different histories. (shrink)

Pure Type Systems, PTSs, were introduced as a generalization of the type systems of Barendregt's lambda cube and were designed to provide a foundation for actual proof assistants which will verify proofs. Systems of illative combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. In an earlier paper we considered two changes to the rules of the PTSs which made these rules more like ICL rules. This led to four (...) kinds of PTSs. Most importantly PTSs are about statements of the form M:A, where M is a term and A a type. In ICLs there are no explicit types and the statements are terms. In this paper we show that for each of the four forms of PTS there is an equivalent form of ICL, sometimes if certain conditions hold. (shrink)

The logical system P-W is an implicational non-commutative intuitionistic logic defined by axiom schemes B = (b → c) → (a → b) → a → c, B' = (a → b) → (b → c) → a → c, I = a → a with the rules of modus ponens and substitution. The P-W problem is a problem asking whether α = β holds if α → β and β → α are both provable in P-W. The answer is (...) affirmative. The first to prove this was E. P. Martin by a semantical method. In this paper, we give the first proof of Martin's theorem based on the theory of simply typed λ-calculus. This proof is obtained as a corollary to the main theorem of this paper, shown without using Martin's Theorem, that any closed hereditary right-maximal linear (HRML) λ-term of type α → α is βη-reducible to λ x.x. Here the HRML λ-terms correspond, via the Curry-Howard isomorphism, to the P-W proofs in natural deduction style. (shrink)

This article is about the history of logic in Australia. Douglas Gasking (1911?1994) undertook to translate the logical terminology of John Anderson (1893?1962) into that of Ludwig Wittgenstein's (1921) Tractatus. At the time Gilbert Ryle (1900?1976), and more recently David Armstrong, recommended the result to students; but it is reasonable to have misgivings about Gasking as a guide to either Anderson or Wittgenstein. The historical interest of the debate Gasking initiated is that it yielded surprisingly little information about Anderson's traditional (...) (syllogistic or Aristotelian) logic and its relation to classical (first-order predicate or Russellian) logic, the ostensible topic; but the materials now exist to interpret Anderson's logic in classical logic, possibly as an algebra of classes. This would be of little interest to contemporary logicians, but it might shed some light on Anderson's philosophy. (shrink)

This book brings together essays on themes of human rights and legal history, reflecting the long and distinguished career as academic writer and human rights activist of Brian Simpson. Written by colleagues and friends in the United States and Britain, the essays are intended to reflect Simpson's own legal interests. The collection opens with biography of Simpson's academic life which notes his major contribution to legal thought, and closes with an account of his career in the United States and a (...) bibliography of his writings. As a tribute to Simpson's varied interests in the law, the collection is grouped around themes in human rights, legal philosophy, and legal history. The human rights papers are concerned with the history of the right of individual petition to the European Court of Human Rights, and recent successes in which Brian Simpson played a part; the evolution of a transnational common law of human rights; the United Nations Convention on the Rights of the Child and the interpretation of the provisions on identity in France and England; the suspension of human rights which would have occurred, had the emergency War Zone Courts scheme been brought into effect during wartime; historical resistance to colonial laws in Papua New Guinea; and the ratio decidendi of the story of the Prodigal Son. Historical themes are found in essays concerned with three nineteenth-century Lord Chancellors; in two essays relating to the fate of the civil jury on either side of the Atlantic which provide a fascinating comparison; in the 'battle of the books' which led to changes in eighteenth-century copyright law; and judicial rivalry between King's Bench and Common Pleas in the early modern period. (shrink)

One problem of interpreting research on subconscious processing is the possibility that participants are weakly conscious of the stimuli. Here, we compared the fMRI BOLD response in healthy adults to clearly visible single letters with the response to letters presented in the absence of any behavioural evidence of visibility . No letter catch trials served as a control condition. Forced-choice responses did not differ from chance when letter-to-background contrast was low, whereas they were almost 100% correct when contrast was high. (...) A comparison of fMRI BOLD signals for supraliminal and subliminal letters with the control trials revealed a signal increase in left BA 37 . Comparison of supraliminal with subliminal letters showed a significant increase in the right inferior frontal gyrus . Finally, a comparison of subliminal with supraliminal letters showed increases in the left middle temporal gyrus and the right extrastriate cortex. (shrink)

The American Psychiatric Association's Diagnostic and Statistical Manual of Mental Disorders (DSM) has for decades been a locus of dispute between ardent defenders of its scientific validity and vociferous critics who charge that it covertly cloaks disputed moral and political judgments in scientific language. This essay explores Alasdair MacIntyre's tripartite typology of moral reasoning—"encyclopedia," "genealogy," and "tradition"—as an analytic lens for appreciation and critique of these debates. The DSM opens itself to corrosive neo-Nietzschean "genealogical" critique, such an analysis holds, only (...) insofar as it is interpreted as a presumptively objective and context-independent encyclopedia free of the contingencies of its originating communities. A MacIntyrean tradition-constituted understanding of the DSM, on the other hand, helpfully allows psychiatric nosology to be understood both as "scientific" and, simultaneously, as inextricable from the political and moral interests—and therefore the moral successes and moral failures—of the psychiatric guild from which it arises. (shrink)

Anton Wilhelm Rudolph Amo (1703–c. 1759 ce), philosopher and physician, was born at Axim, Ghana, and died at Fort Chama, Ghana. When he was four years old, the Dutch West Indies Company's preacher in Ghana sent him to Holland to be baptized and educated in the Bible for future service in Ghana. However, the Company headquarters, undesirous of any interference with its lucrative trade in slaves, turned little Amo over to the German Duke Anton Ulric‐Wolfenbuttel.